/*
 * EvaluationReport.h
 *
 *  Created on: May 2, 2012
 *      Author: lorenzo
 */

#ifndef EVALUATIONREPORT_H_
#define EVALUATIONREPORT_H_

#include <vector>
#include "Formula.h"


class Formula;

class EvaluationReport {
public:
	EvaluationReport(Formula & f);
	EvaluationReport(Formula & f, int iterations);
	virtual ~EvaluationReport();

	int getClausesNumber();
	int getsatisfiedClauses();
	int getIteration();
	EvaluationReport& operator=(EvaluationReport &);
	bool isSat();


	int iterationsCount;


private:
	int clausesNumber;
	int satisfiedClauses;
	int iteration;
	//std::vector<bool> varsSetting;
};

#endif /* EVALUATIONREPORT_H_ */
